My paper provides reasons in support of the view that vague identity claims originate from a conflict between rigidity and precision in designation. To put this stricly, let x be the referent of the referential terms P and Q. Then, that the proposition “that any x being both a P and a Q” is vague involves that the semantic intuitions at work in P and Q reveal a conflict between P and Q being simultaneously rigid and precise designators. After having (...) shortly commented on an example of vague identity claim, I make the case for my proposal, by discussing how reference by baptism conflicts with descriptive attitudes towards understanding conceptual contents. (shrink)

People tend to contribute more—and think they have stronger obligations to contribute more—to rescuing an identified victim rather than a statistical one. Indeed, they are often disposed to contribute more to rescuing a single identified victim than a greater number of statistical ones. By an “identified victim,” I mean Terry Q., lying injured in the passenger seat of the wrecked automobile on the corner of Main Street and Broadway, or Jessica McClure, the child who fell into the Texas well in (...) 1987 and whose family was sent $700,000 in donations for her. We need not know their names, however, and we can accept a very minimal form of identification. By a “statistical victim,” I mean the person who, extrapolating from traffic records, will be in a similar, serious car accident tomorrow (and may then be identified), or the children who will fall into wells next year if we do not cap them better than we did the well that trapped Jessica. Does this disposition (or perceived obligation) have any normative force? I initially thought there could be no such normative force, but consequentialist and nonconsequentialist arguments, pro and con, have convinced me that reasonable people can disagree with each other. This disagreement poses a problem for political philosophy: how should policy choices take such disagreement into account? (shrink)

A principle endorsed by many theories of objective chance, and practically forced on us by the standard interpretation of the Kolmogorov semantics for chance, is the principle that when a proposition P has a chance, any proposition Q that is necessarily equivalent to P will have the same chance as P. Call this principle SUB (for the substitution of necessary equivalents into chance ascriptions). I will present some problems for a theory of chance, and will argue that the best way (...) to resolve these problems is to reject SUB, and similar principles e.g. for the chances of outcomes or the chances of events. Objective chance, it turns out, carves things more finely than necessary equivalence does. (shrink)

On the Lockean thesis one ought to believe a proposition if and only if one assigns it a credence at or above a threshold (Foley in Am Philos Q 29(2):111–124, 1992). The Lockean thesis, thus, provides a way of characterizing sets of all-or-nothing beliefs. Here we give two independent characterizations of the sets of beliefs satisfying the Lockean thesis. One is in terms of betting dispositions associated with full beliefs and one is in terms of an accuracy scoring system for (...) full beliefs. These characterizations are parallel to, but not merely derivative from, the more familiar Dutch Book (de Finetti in Theory of probability, vol 1, Wiley, London, 1974) and accuracy (Joyce in Philos Sci 65(4):575–603, 1998) arguments for probabilism. (shrink)

A dozen philosophers have recently groped for a formula to pick out coercive offers: when P proposes to give a benefit or withhold a harm for Q’s compliance, when does p’s proposal count as coercive? Five formulae are analyzed here. One account is completely “moralized,” claiming that we can’t pick out coercive offers without first settling questions of rights. Two accounts are completely “non-moral,” using as criterion a baseline of “What would in fact have happened” if P had not wanted (...) Q’s compliance. Finally, two accounts offer “two-baseline” accounts, asking “What should have happened?” and/or “What would have happened otherwise?” four accounts are found quite inadequate; the fifth account (my own earlier formula) is threatened by two odd counter cases. Finally, an alternative to “defining coercion” is sketched. (shrink)

A dozen philosophers have recently groped for a formula to pick out coercive offers: when P proposes to give a benefit or withhold a harm for Q’s compliance, when does p’s proposal count as coercive? Five formulae are analyzed here. One account is completely “moralized,” claiming that we can’t pick out coercive offers without first settling questions of rights. Two accounts are completely “non-moral,” using as criterion a baseline of “What would in fact have happened” if P had not wanted (...) Q’s compliance. Finally, two accounts offer “two-baseline” accounts, asking “What should have happened?” and/or “What would have happened otherwise?” four accounts are found quite inadequate; the fifth account (my own earlier formula) is threatened by two odd counter cases. Finally, an alternative to “defining coercion” is sketched. (shrink)

We prove the following algebraic characterization of elementary equivalence: $\equiv$ restricted to countable structures of finite type is minimal among the equivalence relations, other than isomorphism, which are preserved under reduct and renaming and which have the Robinson property; the latter is a faithful adaptation for equivalence relations of the familiar model theoretical notion. We apply this result to Friedman's fourth problem by proving that if L = L ωω (Q i ) i ∈ ω 1 is an (ω 1 (...) , ω)-compact logic satisfying both the Robinson consistency theorem on countable structures of finite type and the Löwenheim-Skolem theorem for some $\lambda for theories having ω 1 many sentences, then $\equiv_L = \equiv$ on such structures. (shrink)

Given an abstract logic L = L(Q i ) i ∈ I generated by a set of quantifiers Q i , one can construct for each type τ a topological space S τ exactly as one constructs the Stone space for τ in first-order logic. Letting T be an arbitrary directed set of types, the set $S_T = \{(S_\tau, \pi^\tau_\sigma)\mid\sigma, \tau \in T, \sigma \subset \tau\}$ is an inverse topological system whose bonding mappings π τ σ are naturally determined by (...) the reduct operation on structures. We relate the compactness of L to the topological properties of S T . For example, if I is countable then L is compact iff for every τ each clopen subset of S τ is of finite type and S τ is homeomorphic to $\underset{lim}S_T$ , where T is the set of finite subtypes of τ. We finally apply our results to concrete logics. (shrink)

We introduce a family of local ranks $D_Q$ depending on a finite set Q of pairs of the form $(\varphi (x,y),q(y)),$ where $\varphi (x,y)$ is a formula and $q(y)$ is a global type. We prove that in any NSOP $_1$ theory these ranks satisfy some desirable properties; in particular, $D_Q(x=x)<\omega $ for any finite tuple of variables x and any Q, if $q\supseteq p$ is a Kim-forking extension of types, then $D_Q(q) (...) Kim-non-forking extension, then $D_Q(q)=D_Q(p)$ for every Q that involves only invariant types whose Morley powers are -stationary. We give natural examples of families of invariant types satisfying this property in some NSOP $_1$ theories. We also answer a question of Granger about equivalence of dividing and dividing finitely in the theory $T_\infty $ of vector spaces with a generic bilinear form. We conclude that forking equals dividing in $T_\infty $, strengthening an earlier observation that $T_\infty $ satisfies the existence axiom for forking independence. Finally, we slightly modify our definitions and go beyond NSOP $_1$ to find out that our local ranks are bounded by the well-known ranks: the inp-rank (burden), and hence, in particular, by the dp-rank. Therefore, our local ranks are finite provided that the dp-rank is finite, for example, if T is dp-minimal. Hence, our notion of rank identifies a non-trivial class of theories containing all NSOP $_1$ and NTP $_2$ theories. (shrink)

This is a collection of essays by analytic philosophers who examine the sort of argument attributed to Kant in his refutation of Humes skepticism. This sort of argument is called transcendental and has the following structure: p; it would not be possible that p if we did not think that q; therefore we must think that q; therefore it is true that q.. If p stands for thought or experience, then this sort of argument is transcendental in that it argues (...) that something is required for thinking about or experiencing not merely particular things, but for thinking about or experiencing anything at all. The use of transcendental arguments by various figures in the history of philosophy is examined in these essays. However, the authors are primarily concerned with the use of such arguments by various recent analytic philosophers. The essays are written both by defenders of transcendental arguments, who are interested in refuting either Humean or Cartesian skepticism, and by detractors of these arguments. Barry Stroud is the prime example of the latter. Here the main debate concerns whether one can move from some undeniable facts about experience or the psychological realm to some facts about nonpsychological reality. Hence truth-directed transcendental arguments seem more controversial than belief-directed ones. Or again, critics of transcendental arguments very often focus on the legitimacy of drawing conclusions about the nature of reality from premises about the nature of thought. (shrink)

Our purpose is to formulate a complete logic of propositions that takes into account the fact that propositions are both senses provided with truth values and contents of conceptual thoughts. In our formalization, propositions are more complex entities than simple functions from possible worlds into truth values. They have a structure of constituents (a content) in addition to truth conditions. The formalization is adequate for the purposes of the logic of speech acts. It imposes a stronger criterion of propositional identity (...) than strict equivalence. Two propositions P and Q are identical if and only if, for any illocutionary force F, it is not possible to perform with success a speech act of the form F(P) without also performing with success a speech act of the form F(Q). Unlike hyperintensional logic, our logic of propositions is compatible with the classical Boolean laws of propositional identity such as the symmetry and the associativity of conjunction and the reduction of double negation. (shrink)

In the Tractatus, Wittgenstein maintains that “The world is all that is the case.” Some philosophers have seen an advantage in introducing into a formal language either a constant which will represent the world, or an operator, e.g., ‘Max’, such that indicates that p gives a complete description of the actual world, of the world at some instant of time, or of a possible world. Such propositions are called world propositions, possible world propositions, or maximal propositions. For us, a maximal (...) proposition is a possible world proposition; it gives a complete description of one way the world might be. A maximal proposition p is not logically false, and for any proposition q, either p entails q or p entails not-q. (shrink)

Bayesians take “definite” or “single-case” probabilities to be basic. Definite probabilities attach to closed formulas or propositions. We write them here using small caps: PROB(P) and PROB(P/Q). Most objective probability theories begin instead with “indefinite” or “general” probabilities (sometimes called “statistical probabilities”). Indefinite probabilities attach to open formulas or propositions. We write indefinite probabilities using lower case “prob” and free variables: prob(Bx/Ax). The indefinite probability of an A being a B is not about any particular A, but rather about the (...) property of being an A. In this respect, its logical form is the same as that of relative frequencies. For instance, we might talk about the probability of a human baby being female. That probability is about human babies in general — not about individuals. If we examine a baby and determine conclusively that she is female, then the definite probability of her being female is 1, but that does not alter the indefinite probability of human babies in general being female. Most objective approaches to probability tie probabilities to relative frequencies in some way, and the resulting probabilities have the same logical form as the relative frequencies. That is, they are indefinite probabilities. The simplest theories identify indefinite probabilities with relative frequencies.3 It is often objected that such “finite frequency theories” are inadequate because our probability judgments often diverge from relative frequencies. For example, we can talk about a coin being fair (and so the indefinite probability of a flip landing heads is 0.5) even when it is flipped only once and then destroyed (in which case the relative frequency is either 1 or 0). For understanding such indefinite probabilities, it has been suggested that we need a notion of probability that talks about possible instances of properties as well as actual instances.. (shrink)

We study completely decomposable torsion-free abelian groups of the form $\mathcal{G}_S := \oplus_{n \in S} \mathbb{Q}_{p_n}$ for sets $S \subseteq \omega$. We show that $\mathcal{G}_S$has a decidable copy if and only if S is $\Sigma^0_2$and has a computable copy if and only if S is $\Sigma^0_3$.

This article aims to contextualize a short Qurʾānic passage – Q 30:2‒5 – with reference to Jewish and Christian materials that have not hitherto been deployed for this purpose. The article builds on the findings of recent scholarship, which reads this passage eschatologically rather than historically, and argues that there are, in fact, two texts that require contextualization: 1) The Qurʾānic verses themselves (which refer only to the fate of “the Romans”); and 2) The early exegetical traditions on these verses (...) (which often add “the Persians” to the eschatological drama). Furthermore, it is argued that the Biblical book of Daniel, and its interpretation in late antiquity, contributed both to the verses themselves and to their exegesis. (shrink)

It is common to hear talk of the aim of belief and to find philosophers appealing to that aim for numerous explanatory purposes. What belief 's aim explains depends, of course, on what that aim is. Many hold that it is somehow related to truth, but there are various ways in which one might specify belief 's aim using the notion of truth. In this article, by considering whether they can account for belief 's standard of correctness and the epistemic (...) norms governing belief, I argue against certain prominent specifications of belief 's aim given in terms of truth, and advance a neglected alternative. (shrink)

The _Physics_ is a foundational work of western philosophy, and the crucial one for understanding Aristotle's views on matter, form, essence, causation, movement, space, and time. This richly annotated, scrupulously accurate, and consistent translation makes it available to a contemporary English reader as no other does—in part because it fits together seamlessly with other closely associated works in the New Hackett Aristotle series, such as the _Metaphysics_, _De Anima_, and forthcoming _De Caelo_ and _On Coming to Be and Passing Away_. (...) Eventually the series will include all of Aristotle's works. Sequentially numbered endnotes provide the information most needed at each juncture, while a detailed Index of Terms indicates places where focused discussion of key notions occurs. An illuminating general Introduction describes the book that lies ahead, explaining what sort of work it is and what sorts of evidence it relies on. (shrink)

Infallibilism is the view that a belief cannot be at once warranted and false. In this essay we assess three nonpartisan arguments for infallibilism, arguments that do not depend on a prior commitment to some substantive theory of warrant. Three premises, one from each argument, are most significant: if a belief can be at once warranted and false, then the Gettier Problem cannot be solved; if a belief can be at once warranted and false, then its warrant can be transferred (...) to an accidentally true belief; if a belief can be at once warranted and false, then it can be warranted and accidentally true. We argue that each of these is either false or no more plausible than its denial. Along the way, we offer a solution to the Gettier Problem that is compatible with fallibilism. (shrink)

This article seeks to contribute to our understanding of a short Qurʾānic passage, Q 85:4‒10, which concerns the fate of the enigmatic Aṣḥāb al-Ukhdūd. It is argued that the ‘eschatological’ and ‘historical’ readings of this passage, which have generally been taken to be mutually exclusive options for its interpretation, are both indispensable for a full contextualization of the verses in question. Furthermore, regarding the historical reading of the passage, it is argued that the verses refer to the events recorded in (...) Daniel 3, rather than to the Martyrs of Najrān episode that most exegetes (and many modern scholars) opt for. Finally, a new etymology for the word Ukhdūd is proposed. (shrink)

" Qualia " is an unfamiliar term for something that could not be more familiar to each of us: the ways things seem to us. As is so often the case with philosophical jargon, it is easier to give examples than to give a definition of the term. Look at a glass of milk at sunset; the way it looks to you--the particular, personal, subjective visual quality of the glass of milk is the quale of your visual experience at the (...) moment. The way the milk tastes to you then is another, gustatory quale, and how it sounds to you as you swallow is an auditory quale; These various "properties of conscious experience" are prime examples of qualia. Nothing, it seems, could you know more intimately than your own qualia ; let the entire universe be some vast illusion, some mere figment of Descartes' evil demon, and yet what the figment is made of will be the qualia of your hallucinatory experiences. Descartes claimed to doubt everything that could be doubted, but he never doubted that his conscious experiences had qualia, the properties by which he knew or apprehended them. (shrink)

The social sciences playa variety of multifaceted roles in the policymaking process. So varied are these roles, indeed, that it is futile to talk in the singular about the use of social science in policymaking, as if there were one constant relationship between two fixed and stable entities. Instead, to address this issue sensibly one must talk in the plural about uses of dif ferent modes of social scientific inquiry for different kinds of policies under various circumstances. In some cases, (...) the influence of social scientific research is direct and tangible, and the connection between the find ings and the policy is easy to see. In other cases, perhaps most, its influence is indirect-one small piece in a larger mosaic of politics, bargaining, and compromise. Occasionally the findings of social scientific studies are explicitly drawn upon by policymakers in the formation, implementation, or evaluation of particular policies. More often, the categories and theoretical models of social science provide a general background orientation within which policymakers concep tualize problems and frame policy options. At times, the in fluence of social scientific work is cognitive and informational in nature; in other instances, policymakers use social science primarily for symbolic and political purposes in order to le gitimate preestablished goals and strategies. Nonetheless, amid this diversity and variety, troubling general questions persistently arise. (shrink)

1. Happiness, then and now -- Happiness, eudaimonia, and practical reasoning -- Happiness as eudaimonia -- Happiness and virtuous activity -- New directions from old debates -- 2. Happiness then: the sufficiency debate -- Aristotle's case against the sufficiency thesis -- 3. Happiness now: rethinking the self -- Socrates' case for the sufficiency thesis -- Epictetus and the stoic self -- The Stoics' case for the sufficiency thesis -- The embodied conception of the self -- The embodied conception and psychological (...) well-being -- The Stoics' case against the embodied conception. (shrink)

Sometimes it takes years of debate for philosophers to discover what it is they really disagree about. Sometimes they talk past each other in long series of books and articles, never guessing at the root disagreement that divides them. But occasionally a day comes when something happens to coax the cat out of the bag. "Aha!" one philosopher exclaims to another, "so that's why you've been disagreeing with me, misunderstanding me, resisting my conclusions, puzzling me all these years!".

Sometimes, learning about the origins of a belief can make it irrational to continue to hold that belief—a phenomenon we call ‘genealogical defeat’. According to explanationist accounts, genealogical defeat occurs when one learns that there is no appropriate explanatory connection between one’s belief and the truth. Flatfooted versions of explanationism have been widely and rightly rejected on the grounds that they would disallow beliefs about the future and other inductively-formed beliefs. After motivating the need for some explanationist account, we raise (...) some problems for recent versions of explanationism. Learning from their failures, we then produce and defend a more resilient explanationism. (shrink)

It has become customary to conceptualize the living cell as an intricate piece of machinery, different to a man-made machine only in terms of its superior complexity. This familiar understanding grounds the conviction that a cell's organization can be explained reductionistically, as well as the idea that its molecular pathways can be construed as deterministic circuits. The machine conception of the cell owes a great deal of its success to the methods traditionally used in molecular biology. However, the recent introduction (...) of novel experimental techniques capable of tracking individual molecules within cells in real time is leading to the rapid accumulation of data that are inconsistent with an engineering view of the cell. This paper examines four major domains of current research in which the challenges to the machine conception of the cell are particularly pronounced: cellular architecture, protein complexes, intracellular transport, and cellular behaviour. It argues that a new theoretical understanding of the cell is emerging from the study of these phenomena which emphasizes the dynamic, self-organizing nature of its constitution, the fluidity and plasticity of its components, and the stochasticity and non-linearity of its underlying processes. (shrink)

Realists about possible worlds typically identify possible worlds with abstract objects, such as propositions or properties. However, they face a significant objection due to Lewis (1986), to the effect that there is no way to explain how possible worlds-as-abstract objects represent possibilities. In this paper, I describe a response to this objection on behalf of realists. The response is to identify possible worlds with propositions, but to deny that propositions are abstract objects, or indeed objects at all. Instead, I argue (...) that realists should follow Prior (1971) and others in treating higher-order quantification (e.g. quantification into predicate or sentence position) as a genuine form of quantification in its own right, and so in particular, not to be analysed in terms of first-order quantification over abstract objects. I argue that from this ‘higher-orderist’ perspective, there is a relatively straightforward answer to the question of how possible worlds-as-propositions succeed in representing possibilities. (shrink)

Realists about possible worlds typically identify possible worlds with abstract objects, such as propositions or properties. However, they face a significant objection due to Lewis (1986), to the effect that there is no way to explain how possible worlds-as-abstract objects represent possibilities. In this paper, I describe a response to this objection on behalf of realists. The response is to identify possible worlds with propositions, but to deny that propositions are abstract objects, or indeed objects at all. Instead, I argue (...) that realists should follow Prior (1971) and others in treating higher-order quantification (e.g. quantification into predicate or sentence position) as a genuine form of quantification in its own right, and so in particular, not to be analysed in terms of first-order quantification over abstract objects. I argue that from this ‘higher-orderist’ perspective, there is a relatively straightforward answer to the question of how possible worlds-as-propositions succeed in representing possibilities. (shrink)

In this groundbreaking book, Daniel D. Novotny explores one of the most controversial topics of Suarez's philosophy: "beings of reason." Beings of reason are impossible intentional objects, such as blindness and square-circle.

This paper will attempt to assess the primary differences between what I take to be the two primary philosophical "traditions" in contemporary French philosophy, using Derrida (transcendence) and Deleuze (immanence) as exemplary representatives. The body of the paper will examine the use of these terms in three different areas of philosophy on which Derrida and Deleuze have both written: subjectivity, ontology, and epistemology. (1) In the field of subjectivity, the notion of the subject has been critiqued in two manners, either (...) by appealing either to the transcendence of the other (Levinas, Derrida) or to the immanent jlux of experience itself, in relation to which the Ego itself is trancendent (Deleuze, Foucault, Sartre, James). (2) In the field of ontology, a purely "immanent" ontology would be an ontology in which there is neither a "beyond" or an "otherwise" Being, nor "interruptions" in Being, both of which would require an appeal to a formal element of transcendence (Deleuze). Such a "transcendent" and aporetic structure, which can never appear or be present as such within Being, is what lies at the basis of the project of deconstruction, with its attendant aporias (Derrida). (3) This distinction, finally, finds parallels in Kant's epistemology, for whom the possible experience is conditioned by purely immanent criteria (Deleuze), whereas what goes beyond the limits of possible experience is transcendent (Derrida). Drawing on these three thread of analysis, the paper concludes with an assessment of what is at stake in the ethical differences between the two traditions. The question of "transcendence" is "What mast I do?", which is the question of morality (a duty or obligation that is beyond being, an "ought" beyond the "is"). The question of "immanence" is "What can I do?" (my power or capacity as an existing individual within being). For Levinas and Derrida, ethics precedes ontology because it is derived from an element of transcendence (the Other); for Deleuze, ethics is ontology because it is derived from the immanent relation of beings to Being at the level of their existence (Spinoza). (shrink)